verification of the statement